external pipe - Deutsch Englisch Wörterbuch